Circuit Morphing: Declarative Modeling of Reconfigurable Combinational Logic

Using a simple reconfigurable logic gate that combines an ITE gate and a 1-bit memory cell we devise a mechanism for synthesizing fine grained circuits that overlap multiple logic functions. A declarative model of the approach, including an exact synthesizer for small circuits, is provided as a literate Haskell program (code available at http://logic.csci.unt.edu/tarau/research/2009/fsyn.hs). Potential applications include new processor architectures supporting fine grained massively parallel execution.